Nuprl Definition : left_child
4,23
postcript
pdf
left_child(
t
) == Case(
t
) Case
x
;
y
=>
x
Default =>
t
latex
Definitions
left_child(
t
)
,
Case(
value
)
body
,
Case
x
;
y
=>
body
(
x
;
y
)
cont
,
Default =>
body
FDL editor aliases
left_child
origin